checking tool造句
例句与造句
- Know different checking tools and find problems and solve them
熟知不同检测工具，发现问题并解决问题。 - The object of this paper is to verify security protocols with model checking tools
本课题的研究目的是采用模型检验工具对安全协议进行验证。 - The accessibility checking tool is not available in visual web developer express edition
Visual web developer速成版中未提供可访问性检查工具。 - It s always nice to send one s code through an automated checking tool - and watch it pass
发送代码，使其通过一个自动检查工具并看着它通过总是很不错的。 - The accessibility checking tool is not available in the microsoft visual web developer express edition
Microsoft visual web developer速成版中未提供辅助功能检查工具。 - It's difficult to find checking tool in a sentence. 用checking tool造句挺难的
- Necessary q - check points in process and have final inspection . spc is used . necessary checking tools and testing equipments are available
生产过程有必要的质量检查点和最终检验。使用了spc 。有必要的测量和实验仪器。 - While these link checking tools are far from new , you may not have heard of them , or may have some tools to add to the mix or suggestions of how to use these particular tools more effectively
你可能没有听说过这些链接检查工具，但它们已经产生很久了；或者与其它工具混合使用过；或者了解使用这些工具的方法。 - At last , we draw out some core modules of pems . directed by theories and methods of software reliability , we use static check tools pc - lint and splint to check those modules , and write some programs to test them
最后,抽取pems的核心模块,应用可靠性理论和方法,使用静态检测工具pc - lint和splint对这些模块进行检测,开发测试程序进行测试。 - We have designed and implemented an uml - based model checking tool , uml - mc . it can verify the statecharts modeled by rational rose or i - logix rhapsody . the counter - examples will be given when system does not meet the properties
我们设计并实现了一个uml模型检验工具uml - mc ，可以对rationalrose或i - logixrhapsody建立的statecharts模型进行验证，并能在性质不满足时给出反例路径。 - First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。 - We research different kinds of formal methods , particularly study the mechanism of symbolic model checking tool smv , and finally we decide to adopt smv as the tool for the model checking of security protocols . with smv , we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
本文研究了验证安全协议的各种形式化方法，详细研究了符号化模型检验工具smv的工作机制；确定了使用smv作为工具对安全协议进行模型检验，验证了认证版needham - schroeder公钥协议和wooandlam对称钥协议。